UNIF '96. 10. international workshop on unification Extended abstracts

SIGLEAvailable from TIB Hannover: RR 7403(96,91) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman